$(session-time-left-secs) <script>location.replace('/portal.html');</script>